Merge pull request #1391 from jts-arm/misra
authorDimitris Papastamos <[email protected]>
Tue, 12 Jun 2018 12:01:35 +0000 (13:01 +0100)
committerGitHub <[email protected]>
Tue, 12 Jun 2018 12:01:35 +0000 (13:01 +0100)
MISRA rule 21.15 fix


Trivial merge